non-full functional dependency

[计] 非完全函数相关性